Parallel breadth-first search